Dict(
	[13, 9, 5, 12, 16, 1, 1, 13, 1, 1] => QQFieldElem[16//3, 0, 0, 0])